Search results for "Sather"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
147	Stephan Murer, Stephen M. Omohundro, David Stoutamire, Clemens A. Szyperski	Iteration Abstraction in Sather.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	Sather, general control structures, iteration abstraction
86	Clemens A. Szyperski, Stephen M. Omohundro, Stephan Murer	Engineering a Programming Language: The Type and Class System of Sather.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
49	Heinz W. Schmidt, Jian Chen	Reasoning about Concurrent Objects.	APSEC	1995	DBLP DOI BibTeX RDF	D.1.3 Concurrent Programming, D.1.5 Object-Oriented Programming, D.2.4 Program Verification, F.3.1 Reasoning about Programs, F.1.1 Models of Computation
38	Hayden Sather, Alexander Pinard, Allison H. Baker, Dorit M. Hammerling	What can real information content tell us about compressing climate model data?	DRBSD@SC	2022	DBLP DOI BibTeX RDF
38	Brandon Goodell, Sean Sather-Wagstaff	The Category of Factorization.	Appl. Categorical Struct.	2020	DBLP DOI BibTeX RDF
38	Chuang Li, Garrett C. Lau, Hang Yuan, Aaveg Aggarwal, Victor Lopez Dominguez, Shuangping Liu, Hiroaki Sai, Liam C. Palmer, Nicholas A. Sather, Tyler J. Pearson, Danna E. Freedman, Pedram Khalili Amiri, Monica Olvera de la Cruz, Samuel I. Stupp	Fast and programmable locomotion of hydrogel-metal hybrids under light and magnetic fields.	Sci. Robotics	2020	DBLP DOI BibTeX RDF
38	Jonathon Sather	Viewpoint Optimization for Autonomous Strawberry Harvesting with Deep Reinforcement Learning.	CoRR	2019	DBLP BibTeX RDF
38	Alison Cook-Sather	Virtual forms, actual effects: how amplifying student voice through digital media promotes reflective practice and positions students as pedagogical partners to prospective high school and practicing college teachers.	Br. J. Educ. Technol.	2017	DBLP DOI BibTeX RDF
38	Saeed Nasseh, Sean Sather-Wagstaff	Geometric aspects of representation theory for DG algebras: answering a question of Vasconcelos.	J. Lond. Math. Soc.	2017	DBLP DOI BibTeX RDF
38	Vahid Hassani, Sverre Anders Alterskjar, Dariusz Eirik Fathi, Orjan Selvik, Lars Ove Sather	Experimental results on motion regulation in high speed marine vessels.	MED	2014	DBLP DOI BibTeX RDF
38	Anne Lind, Steven Sather, Linwood Futrelle, Patrick Valiquette	Lessons learned: implementing a desktop replacement program.	SIGUCCS	2001	DBLP DOI BibTeX RDF	desktop replacement program, replacement cycle, student purchase program
38	Miles Ohlrich, Carl Ebeling, Eka Ginting, Lisa Sather	SubGemini: Identifying SubCircuits using a Fast Subgraph Isomorphism Algorithm.	DAC	1993	DBLP DOI BibTeX RDF
38	Martyne M. Hallgren, Jack W. Pope, Pat Smith, John R. Cordani, Steven Sather, Joyce McGowan	Connecting to the Internet - What Connecting Institutions Should Anticipate.	RFC	1992	DBLP DOI BibTeX RDF
38	Roy Oscar Sather	A Linear Network Method for Compensating A Nonlinear Servomechanism		1960	RDF
36	Gerhard Goos	Sather-K - The Language.	Softw. Concepts Tools	1997	DBLP BibTeX RDF
36	Jürgen Quittek, Boris Weissman	Efficient Extensible Synchronization in Sather.	ISCOPE	1997	DBLP DOI BibTeX RDF
36	Jeffrey Putnam	C++ vs Sather: Experiences in Experimental Programming.	TOOLS (11)	1993	DBLP BibTeX RDF
36	Stephen M. Omohundro	The Sather Language and Libraries.	TOOLS (5)	1991	DBLP BibTeX RDF
25	Stephen J. Sullivan, Benjamin G. Zorn	Numerical Analysis Using Nonprocedural Paradigms.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	experimental languages, benchmarks, programming languages, linear algebra, sparse matrices, Gaussian elimination
25	Michael Kölling, Bett Koch, John Rosenberg	Requirements for a first year object-oriented teaching language.	SIGCSE	1995	DBLP DOI BibTeX RDF	C++, Smalltalk, Eiffel
25	Clemens A. Szyperski	Import is Not Inheritance - Why We Need Both: Modules and Classes.	ECOOP	1992	DBLP DOI BibTeX RDF